Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
451	What is Needle? Needle is an object-oriented functional programming language with a multimethod-based OO system, and a static type system with parameterized types and substantial ML-style type inference. Add to Reading List Source URL: www.nongnu.org Language: English - Date: 2002-11-10 12:25:13 Data types Method Type theory Cross-platform software Object-oriented programming Multiple dispatch Type system Programming language C Software engineering Computing Computer programming
452	TypEr: A Type Annotator of Erlang Code Tobias Lindahl and Kostis Sagonas Dept of Information Technology Uppsala University Add to Reading List Source URL: www.erlang.se Language: English - Date: 2005-10-20 06:23:56 Computer programming Data types Subroutines Ericsson Erlang Subtype polymorphism Type signature Type system Type inference Software engineering Type theory Computing
453	Corruption of the Scientific Method Nancy Flournoy ERUDITIO, Volume I, Issue 3, September 2013, [removed]Corruption of the Scientific Method Add to Reading List Source URL: eruditio.worldacademy.org Language: English - Date: 2014-03-13 03:30:46 Knowledge Design of experiments Statistical inference Scientific method Evaluation methods Null hypothesis Statistical power Statistical significance Type I and type II errors Hypothesis testing Statistics Science
454	Static Dependent Types for First Class Modules Mark A. Sheldon and David K. Giord Laboratory for Computer Science Massachusetts Institute of Technology Abstract Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Type system Standard ML Subroutine Programming language Lambda calculus Type inference Abstraction System F Software engineering Computing Programming language theory
455	TEMPO RELEASE NOTES v0.1.3 (BETA[removed]Recent Fixes (v0.1.3) Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 13:58:21 Computing ALGOL 68 C++ classes Type inference Programming language theory Software engineering C++
456	Algebraic Reconstruction of Types and Eects Pierre Jouvelot1 2 David K. Giord2 ; Ecole des Mines de Paris1 Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Data types Functional programming Computing Program analysis Type system Vehicle Identification Number Monad Type inference Type theory Software engineering Programming language theory
457	TEMPO RELEASE NOTES v0.1.4 (BETA[removed]Recent Fixes (v0.1.4) Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:00:16 Automata theory C++ Scope ALGOL 68 C++ classes Type inference Quantum finite automata Model checking JavaScript Software engineering Programming language theory Computing
458	Practical Type Inference Based on Success Typings Tobias Lindahl 1 Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2009-04-23 03:56:30 Programming language theory Type system Hindley–Milner Type inference Erlang Subtype polymorphism Closure Type safety System F Type theory Software engineering Computing
459	Another Type of Free Choice Effect: Korean Amwu N-Lato Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:58:47 Inference Pragmatics Semantics Science Australian Manufacturing Workers Union Polarity item Implicature Downward entailing Presupposition Logic Linguistics Grammar
460	Typing Erlang John Hughes Karol Ostrovsky Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-11-04 06:52:32 Type theory Functional languages Data types Type systems Procedural programming languages Erlang Type inference ML Subtype polymorphism Software engineering Computing Programming language theory

UPDATE